# TCP port used for the DMTP server socket
# +2
dmtp.tcp.port=10432

# TCP port used for the DMAP server socket
# +3
dmap.tcp.port=10433

# mail domain managed by the mailbox server
domain=earth.planet

# location of the users for this mailbox server
users.config=users-earth-planet.properties

# ============================================= Required for Assignment 2

# name of the root nameserver's remote object
root_id=root-nameserver

# RMI registry host
registry.host=localhost

# RMI registry port
# +9
registry.port=10439
